退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:正式化COTs的度量标准
Miguel Goulão; O Brito E Abreu;
机译:HOL Light中度量空间的形式化
机译:关于识别和分类问题形式化过程中出现的度量空间。第1部分:紧凑性
机译:关于识别和分类问题形式化过程中出现的度量空间。第2部分:密度属性
机译:正式化婴儿床指标
机译:比较和对比两种植物病原体为了解双子叶植物和单子叶植物先天免疫反应的差异提供了一个独特的窗口。
机译:WY7是从橡胶白粉病病原体中新鉴定的启动子可调节单子叶植物和双子叶植物的外源基因表达
机译:多段道路建设项目中设备生产力指标的形式化
机译:多维特征空间中基于矩阵形式化接近度的自动化系统识别信息图像相似度研究
机译:专家决策形式化的度量模型
机译:测量形式化设备,测量形式化方法和测量形式化程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。